A Colored Petri Net Model for Analyzing Batch Sequential Control System

This paper describes a modeling and analyzing method for batch sequential control systems by using colored Petri net (CPN) model. For this purpose, we propose systematic procedures to create CPN model from a various information based on ISA S88, i.e., master recipe, equipment information and batch schedule. To examine the effectiveness of the proposed method, we applied it to a two-step polymer process as an example. Through the numerical experiment, it is shown that we can provide an environment to simulate batch sequential control systems easily, and to find out certain conflicts of operation in the process.